Henk Barendregt
Lambda Calculus with Types
ラムダ・キューブ
などについて書いている (?)
https://en.wikipedia.org/wiki/Henk_Barendregt